Inria
|
Raweb
2014 | Exploratory Action
|
|
|
| e-Pub |
Previous | 
Home
Section: New Results
Highlights of the Year
The Plasma statistical model checker has been made available to other scientists. ESTASYS has open a new branch on verifying the security of complex systems.